stubdom/minios: don't retrieve the address of void variable
authorGianni Tedesco <gianni.tedesco@citrix.com>
Tue, 11 Jan 2011 16:31:47 +0000 (16:31 +0000)
committerGianni Tedesco <gianni.tedesco@citrix.com>
Tue, 11 Jan 2011 16:31:47 +0000 (16:31 +0000)
commitb3c8bef7a7f9f0e5164f9efae638685e2964a243
tree5ff726df8932165f7c94249b05ca9c395831144e
parent53424cba4424188ebbdb81e3fb1cc9291fc98e9c
stubdom/minios: don't retrieve the address of void variable

Objects must not be declared to have type void.  Declare shared_info
to have the appropriate type instead.

Author: Ganni Tedesco <gianni.tedesco@citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
extras/mini-os/arch/x86/mm.c